A formal deterministic scheduling model for hard real- time executings in DEDOS
نویسنده
چکیده
This paper describes a deterministic scheduling model for hard real-time executions in the DEpendable Distributed Operating System DEDOS currently under development at the Eindhoven University of Technology. The model is based on the concepts incorporated in DEDOS, and includes absolute timing constraints, generic relative timing constraints, data-dependency constraints, and generic consistency constraints. In addition, the model is formalized to obtain a mathematically attractive and consistent foundation on which the off-line scheduling problem for DEDOS can be defined.
منابع مشابه
Study of Scheduling Problems with Machine Availability Constraint
In real world scheduling applications, machines might not be available during certain time periods due to deterministic or stochastic causes. In this article, the machine scheduling with availability constraints for both deterministic and stochastic cases with different environments, constraints and performance measures will be discussed. The existing body of research work in the literature wil...
متن کاملSplittable stochastic project scheduling with constrained renewable resource
This paper discusses the problem of allocation of constrained renewable resource to splittable activities of a single project. If the activities of stochastic projects can be split, these projects may be completed in shorter time when the available resource is constrained. It is assumed that the resource amount required to accom-plish each activity is a discrete quantity and deterministic. The ...
متن کاملA Stochastic Model for Prioritized Outpatient Scheduling in a Radiology Center
This paper discussed the scheduling problem of outpatients in a radiology center with an emphasis on priority. To more compatibility to real-world conditions, we assume that the elapsed times in different stages to be uncertain that follow from the specific distribution function. The objective is to minimize outpatients’ total spent time in a radiology center. The problem is formulated as a fle...
متن کاملOperating Room Scheduling in Teaching Hospitals: A Novel Stochastic Optimization Model
Background and Objectives: Operating room (OR) scheduling is key to optimal operating room productivity. The significant uncertainty associated with surgery duration renders scheduling of surgical operation a challenging task. This paper proposes a novel computational stochastic model to optimize scheduling of surgeries with uncertain durations. The model considers various surgical operation co...
متن کاملOperating Room Scheduling Considering Patient Priorities and Operating Room Preferences: A Case Study
Operating rooms have become the most important areas in hospitals because of the scarcity and cost of resources. The present study investigates operating room scheduling and rescheduling considering the priority of surgical patients in a specialized hospital. The ultimate purpose of scheduling is to minimize patient waiting time, surgeon idle time between surgeries, and penalties for deviations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017